Formal proof - PDFSEARCH.IO - Document Search Engine

Formal proof
Results: 365

#	Item
251	Formal Methods in Industry: Achievements, Problems, Future Jean-Raymond Abrial Swiss Federal Institute of Technology Zurich [removed] Add to Reading List Source URL: www.irisa.fr Language: English - Date: 2006-05-20 23:41:24 Theoretical computer science Software development process Mathematical proof KeY B-Method Scientific modelling Model-based testing Formal verification Formal methods Science Software development
252	Justin Clarke-Doane University of Birmingham Monash University [This is a corrected version of an article which appears in Noûs, Vol. 47.] Add to Reading List Source URL: files.nyu.edu Language: English - Date: 2014-07-29 01:53:21 Proof theory Model theory Formal systems Continuum hypothesis Forcing Zermelo–Fraenkel set theory Conjecture Axiom Kurt Gödel Mathematical logic Logic Mathematics
253	Speculative Reduction-Based Scalable Redundancy Identification Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2009-05-13 19:49:55 Applied mathematics Theoretical computer science Logic Electronic design automation Mathematical induction Proof theory Mathematical proof Formal verification And-inverter graph Mathematics Mathematical logic Formal methods
254	A Mechanized Program Verifier J Strother Moore1 Department of Computer Sciences, University of Texas at Austin, Austin, Texas 78712, USA [removed], WWW home page: http://cs.utexas.edu/users/moore Add to Reading List Source URL: vstte.inf.ethz.ch Language: English - Date: 2005-03-23 00:34:24 Automated theorem proving Formal methods Lisp programming language Model theory ACL2 Nqthm Proof assistant Formal verification J Strother Moore Logic Mathematics Theoretical computer science
255	Philosophy 110 Introduction to Logic 03 MW: 08:30 – 09:[removed]INSTRUCTOR: OFFICE: OFFICE HOURS: Add to Reading List Source URL: windward.hawaii.edu Language: English - Date: 2014-01-17 22:12:52 Knowledge Reasoning Arguments Deduction Logical truth Fallacy Validity Informal fallacy Formal proof Logic Science Critical thinking
256	From SIAM News, Volume 43, Number 9, November[removed]Communication and its Possibilities Communicating Science: Professional, Popular, Literary. By Nicholas Russell, Cambridge University Press, Cambridge, UK, 2010, 348 pa Add to Reading List Source URL: www.siam.org Language: English - Date: 2010-12-16 12:34:52 Logical consequence Philosophical logic Philosophy of language Theorems Lillian Rosanoff Lieber Mathematical proof Poincaré conjecture Clifford Geertz Formal proof Logic Mathematics Logical syntax
257	14 Notre Dame Journal of Formal Logic Volume 31, Number 1, Winter 1990 Linear Logic Displayed NUEL BELNAP Add to Reading List Source URL: www.pitt.edu Language: English - Date: 2011-02-14 12:57:38 Proof theory Substructural logic Logic in computer science Philosophical logic Linear logic Intuitionistic logic Axiom Sequent calculus Negation Logic Mathematical logic Non-classical logic
258	Towards a Worldwide Verification Technology Wolfgang Paul April[removed] Add to Reading List Source URL: vstte.inf.ethz.ch Language: English - Date: 2005-09-27 04:10:06 Logic in computer science Formal methods Logical syntax Formal sciences Mathematical logic Formal verification Isabelle Proof assistant KeY Logic Mathematics Theoretical computer science
259	Proof-Theoretic and Higher-Order Extensions of Logic Programming Alberto Momigliano1,2 and Mario Ornaghi1 1 Dipartimento di Scienze dell’Informazione, Universit`a degli Studi di Milano, Italy Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-03-30 09:07:46 Proof theory Metalogic Model theory Formal languages Deduction Curry–Howard correspondence Standard ML Sequent calculus Symbol Logic Mathematics Mathematical logic
260	Philosophy 110 Introduction to Logic 03 TTh: 10:00 – 11:[removed]INSTRUCTOR: OFFICE: OFFICE HOURS: Add to Reading List Source URL: windward.hawaii.edu Language: English - Date: 2014-01-17 22:13:20 Knowledge Reasoning Arguments Deduction Logical truth Fallacy Validity Informal fallacy Formal proof Logic Science Critical thinking

UPDATE